package com.googlecode.kipler.satisfiability.completion.rule.trace;

import java.util.LinkedHashSet;
import java.util.Set;

import com.googlecode.kipler.syntax.formula.Formula;

public class RuleTrace {
	private RuleType type;

	private Set<Formula> constraints = new LinkedHashSet<Formula>();

	public RuleType getType() {
		return type;
	}

	public void setType(RuleType type) {
		this.type = type;
	}

	public Set<Formula> getConstraints() {
		return constraints;
	}

}
